Produit semi-direct

En théorie des groupes, le produit semi-direct permet de définir un groupe ${\displaystyle G}$ à partir de deux groupes ${\displaystyle H}$ et ${\displaystyle K}$, et généralise la notion de produit direct de deux groupes.